-
1 intensional functor
English-Russian electronics dictionary > intensional functor
-
2 intensional functor
The New English-Russian Dictionary of Radio-electronics > intensional functor
-
3 functor
вчтфунктор, оператор над типами ( в теории категорий)- additive functor
- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functor -
4 functor
вчт.функтор, оператор над типами ( в теории категорий)- algebraic functor
- amnestic functor
- balanced functor
- bijective functor
- binary functor
- canonic functor
- closed functor
- complete functor
- composition functor
- conjunction functor
- derived functor
- disjunction functor
- embedding functor
- extensional functor
- family functor
- free functor
- functor of points
- hereditary functor
- homology functor
- homotopy functor
- immersion functor
- inclusion functor
- injective functor
- intensional functor
- logical functor
- negation functor
- one-place functor
- open functor
- product functor
- projective functor
- Radon functor
- resolvent functor
- singular functor
- statement functor
- sum functor
- surjective functor
- two-place functor
- unary functor
- zero-argument functorThe New English-Russian Dictionary of Radio-electronics > functor
См. также в других словарях:
Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Background and genesis of topos theory — This page gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the… … Wikipedia